Meteorological assessment of SRM exhaust products' environmental impact

The environmental impact of solid rocket motor (SRM) exhaust products discharged into the free air stream upon the launching of space vehicles that depend upon SRM boosters to obtain large thrust was assessed. The emission of Al2O3 to the troposphere from the SRMs in each Shuttle launch is considered. The Al2O3 appears as particles suitable for heterogeneous nucleation of hydrochloric acid which under frequently occurring atmospheric conditions may form a highly acidic rain capable of damaging property and crops and of impacting upon the health of human and animal populations. The cloud processes leading to the formation of acid rain and the concentration of the acid that then reaches the ground, and the atmospheric situations that lead to the production of cloud and rain at and near a launch site, and the prediction of weather conditions that may permit or prohibit a launch operation are studied

Acid rain: Microphysical model

A microphysical model was used to simulate the case of a ground cloud without dilution by entrainment and without precipitation. The numerical integration techniques of the model are presented. The droplet size spectra versus time and the droplet molalities for each value of time are discussed

State-Space Size Estimation By Least-Squares Fitting

We present a method for estimating the number of states in the continuous time Markov chains (CTMCs) underlying high-level models using least-squares fitting. Our work improves on existing techniques by producing a numerical estimate of the number of states rather than classifying the state space into on of three types. We demonstrate the practicality and accuracy of our approach on a number of CTMCs generated from three Generalised Stochastic Petri Net (GSPN) models with up to 11 million states

Rain scavenging of solid rocket exhaust clouds

An explicit model for cloud microphysics was developed for application to the problem of co-condensation/vaporization of HCl and H2O in the presence of Al2O3 particulate nuclei. Validity of the explicit model relative to the implicit model, which has been customarily applied to atmospheric cloud studies, was demonstrated by parallel computations of H2O condensation upon (NH4)2 SO4 nuclei. A mesoscale predictive model designed to account for the impact of wet processes on atmospheric dynamics is also under development. Input data specifying the equilibrium state of HC1 and H2O vapors in contact with aqueous HC1 solutions were found to be limited, particularly in respect to temperature range

Response Time Densities in Generalised Stochastic Petri Net Models.

Generalised Stochastic Petri nets (GSPNs) have been widely used to analyse the performance of hardware and software systems. This paper presents a novel technique for the numerical determination of response time densities in GSPN models. The technique places no structural restrictions on the models that can be analysed, and allows for the high-level specification of multiple source and destination markings, including any combination of tangible and vanishing markings. The technique is implemented using a scalable parallel Laplace transform inverter that employs a modified Laguerre inversion technique. We present numerical results, including a study of the full distribution of end-to-end response time in a GSPN model of the Courier communication protocol software. The numerical results are validated against simulation. 1

Validation of Large Zoned RAID Systems

Building on our prior work we present an improved model for for large partial stripe following full stripe writes in RAID 5. This was necessary because we observed that our previous model tended to underestimate measured results. To date, we have only validated these models against RAID systems with at most four disks. Here we validate our improved model, and also our existing models for other read and write configurations, against measurements taken from an eight disk RAID array

Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models

Published versio

Assessment of possible environmental effects of space shuttle operations

The potential of shuttle operations to contribute to atmospheric pollution is investigated. Presented in this interim report are results of the study to date on rocket exhaust inventory, exhaust interactions, dispersion of the ground cloud, detection and measurement of hydrochloric acid and aluminum oxide, environmental effects of hydrochloric acid and aluminum oxide, stratospheric effects of shuttle effluents, and mesospheric and ionospheric effects of orbiter reentry. The results indicate space shuttle operation will not result in adverse environmental effects if appropriate launch constraints are met

Computation of inflationary cosmological perturbations in chaotic inflationary scenarios using the phase-integral method

The phase-integral approximation devised by Fr\"oman and Fr\"oman, is used for computing cosmological perturbations in the quadratic chaotic inflationary model. The phase-integral formulas for the scalar and tensor power spectra are explicitly obtained up to fifth order of the phase-integral approximation. We show that, the phase integral gives a very good approximation for the shape of the power spectra associated with scalar and tensor perturbations as well as the spectral indices. We find that the accuracy of the phase-integral approximation compares favorably with the numerical results and those obtained using the slow-roll and uniform approximation methods.Comment: 21 pages, RevTex, to appear in Phys. Rev

Performance Trees: Implementation And Distributed Evaluation

In this paper, we describe the first realisation of an evaluation environment for Performance Trees, a recently proposed formalism for the specification of performance properties and measures. In particular, we present details of the architecture and implementation of this environment that comprises a client-side model and performance query specification tool, and a server-side distributed evaluation engine, supported by a dedicated computing cluster. The evaluation engine combines the analytic capabilities of a number of distributed tools for steady-state, passage time and transient analysis, and also incorporates a caching mechanism to avoid redundant calculations. We demonstrate in the context of a case study how this analysis pipeline allows remote users to design their models and performance queries in a sophisticated yet easy to use framework, and subsequently evaluate them by harnessing the computing power of a Grid cluster back-end.Accepted versio